誰が自分であるかで定義される、並び順ではなく個人の存在によって識別される世界を想像してみてください。離散数学において、 集合 は思考の主権者であり、順序のない異なる要素の集まりです。このモジュールでは、直感的なグループ化と形式論理との間のギャップを埋め、集合演算が論理接続詞の構造的設計図となることを示しています。
所属関係の文法
順序対 $(a, b)$ や $n$-タプルのように位置が重要である場合とは異なり、集合 $\{a, b\}$ はその要素によってのみ定義されます。そのため、$\{a, b\} = \{b, a\}$ となります。この順序への無関心により、 所属の本質 所属の本質に集中することができます。
部分集合と真部分集合の違い
包含関係 $A \subseteq B$ は、$A$ のすべての要素が $B$ 内にあることを意味します。しかし、 真部分集合 $A \subset B$ はさらに要求されます：$B$ には $A$ に含まれない少なくとも一つの要素が存在しなければなりません。 含まれない $A$ に含まれない要素が存在しなければなりません。
べき集合
べき集合 べき集合 $\mathcal{P}(S)$ は $S$ のすべての可能な部分集合からなる集合です。$|S| = n$ ならば、$|\mathcal{P}(S)| = 2^n$ となり、基礎的な可能性の指数スケールを表します。
論理の橋渡し：集合の仕組み
集合演算は論理的思考の物理的な表現です：
- 和集合 ($A \cup B$)： 論理的な OR。$A$ または $B$ に属する要素。
- 共通部分 ($A \cap B$)： 論理的な AND。$A$ と $B$ の両方に属する要素。
- 互いに素な集合 ($A \cap B = \emptyset$)： 互いに排他的な論理条件。
実例：学生データベース
データベース $D_1 = \{\text{ガース, エリン, マーティ}\}$ を考えます。以下の2つの述語を定義します：
- 集合 $A$：身長が5フィート10インチ以上の学生 $\to \{\text{ガース, マーティ}\}$。
- 集合 $B$：名前が「y」で終わる学生 $\to \{\text{マーティ}\}$。
べき集合 共通部分 $A \cap B$ は $\{\text{マーティ}\}$ を得ます。これは論理的な「AND」が重複する基準に基づいて集団を絞り込む方法を示しています。マーティだけが高身長かつ名前が「y」で終わるという両方の条件を満たしています。
🎯 基本原則
集合はメンバーによってのみ決定され、順序は関係ありません。和集合や共通部分などの集合演算は、論理演算子の「OR」および「AND」の構造的前身です。
$x \in A \cup B \iff (x \in A) \lor (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$